join irreducible element

并不可约元